shift{-}state($s$)($x$,$t$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$s$($x$,$t$ + 1)